Event calculus - PDFSEARCH.IO - Document Search Engine

Event calculus
Results: 45

#	Item
31	Ludocore: A Logical Game Engine for Modeling Videogames Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:48 Knowledge representation Science Mathematics Knowledge Formal sciences Gameplay Event calculus Fluent Logic Logic programming Game design Logic in computer science
32	10 A Logic-based Calculus of Events ROBERT KOWALSKI and MAREK SERGOT 1 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:53:49 Theoretical computer science Knowledge representation Logic in computer science Event calculus Frame problem Situation calculus Function Calculus Temporal logic Logic programming Mathematics Mathematical logic
33	Teleo-Reactive Abductive Logic Programs Robert Kowalski and Fariba Sadri Imperial College London, {rak, fs}@doc.ic.ac.uk Abstract. Teleo-reactive (TR) programs are a variety of production systems with a destructively upd Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-01-20 14:02:42 Logic programming Logic in computer science Knowledge representation Programming language semantics Abductive logic programming Operational semantics Semantics Event calculus Frame problem Mathematical logic Theoretical computer science Logic
34	An Agent Language with Destructive Assignment and Model-Theoretic Semantics Robert Kowalski and Fariba Sadri Department of Computing, Imperial College London, 180 Queens Gate, London SW7 2AZ {rak, fs}@doc.ic.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-06-19 04:56:36 Mathematics Abductive logic programming Frame problem Prolog Action selection Event calculus Predicate Atomic sentence Situation calculus Logic Logic programming Mathematical logic
35	From Mathematical Logic, to Natural Language, Artificial Intelligence, and Human Thinking (A short essay in honour of Andrzej Mostowski) In Andrzej Mostowski and Foundational Studies (Eds. A. Ehrenfeucht, V.W. Marek and Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2008-02-23 08:49:19 Non-classical logic Philosophical logic Knowledge representation Logical consequence Robert Kowalski Abductive logic programming Mostowski Modal logic Event calculus Logic Mathematical logic Logic programming
36	Towards a Logic-based Production System Language Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-08-20 04:15:20 Logic Prolog Futures and promises Frame problem Abductive logic programming Predicate Situation calculus Operational semantics Event calculus Logic programming Mathematical logic Theoretical computer science
37	J. LOGIC PROGRAMMING[removed]:12:[removed] Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:53:42 Logic Knowledge representation Database theory Programming paradigms Database management systems Event calculus Modal logic Database Temporal logic Logic programming Mathematics Mathematical logic
38	GDP Festschrift ENTCS, to appear Event Domains, Stable Functions and Proof-Nets Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:57 Mathematics Curry–Howard correspondence Sequent calculus Cut-elimination theorem Proof net Linear logic Denotational semantics Model theory Net Proof theory Logic Mathematical logic
39	10 A Logic-based Calculus of Events ROBERT KOWALSKI and MAREK SERGOT Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:53:49 Theoretical computer science Knowledge representation Logic in computer science Event calculus Frame problem Situation calculus Function Calculus Prolog Logic programming Mathematics Mathematical logic